Security protocols is a research field focused on the formal specification, design, and rigorous analysis of sequences of communication steps and cryptographic operations intended to achieve specific security objectives between interacting entities. This domain investigates how to ensure properties such as confidentiality, integrity, authentication, and non-repudiation in the presence of adversaries, forming a cornerstone for secure communication and system interaction in networked environments.